Stigmatisation. Leçons tirées des programmes visant sa diminution

De l'optimisation des programmes

Des programmes logiques avec contraintes qui apprennent des programmes logiques avec contraintes

LIRSIA Faculté des Sciences Mirande 9, Avenue Alain Savary B.P. 400 — F-21011 Dijon Email : fMarc.Bernard, [email protected] Web : recife.u-bourgogne.fr:8081/f ̃mb, ̃fjg R esum e : La Programmation Logique Inductive (PLI) est une technique d’apprentissage efficace qui commence à être utilisée dans certaines applications industrielles. Cependant, la PLI repose sur la Programm...

Analyse statique de programmes manipulant des tableaux

Préservation Des Preuves Et Transformation De Programmes Préservation Des Preuves Et Transformation De Programmes Certificate Translation alongside Program Transformations

Software applications have gained a notable role in our everyday activities, mobile code applications being a significant portion of these software agents. The mobile code paradigm entails the distribution of applications from the code producer to heterogeneous client environments in which they are executed. An extended practice of this paradigm consists in the development of third party compon...

De l'ombre à la lumière : plus de visibilité sur l'Eclipse

Résumé. L’extraction de connaissances à partir de données issues du génie logiciel est un domaine qui s’est beaucoup développé ces dix dernières années, avec notamment la fouille de référentiels logiciels (Mining Software Repositories) et l’application de méthodes statistiques (partitionnement, détection d’outliers) à des thématiques du processus de développement logiciel. Cet article présente ...